1. ISILC Proof Theory Symposion: dedicated to Kurt Schutte on the occasion of his 65th birthday: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Bibliography ، Schutte, K.)Kurt(,Congresses ، Proof theory
Classification :
QA
3
.
L28
no
.
500
2. ISILC Proof Theory Symposion : dedicated to Kurt Schیtte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Author: edited by J. Diller and G. H. Mیller
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Proof theory,Bibliography ، Schutte, K. )Kurt(
Classification :
QA
9
.
54
.
I8
1974
